отношение достижимости

См. также в других словарях:

• МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

• ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА —     ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА метод логического анализа модальных и интенсиональных понятий, основу которого составляет рассмотрение мыслимых положений дел (идеальных альтернатив, описаний состояний, точек соотнесения). Дунс Скот (1265 1308)… …   Философская энциклопедия

• семантика возможных миров —         СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… …   Энциклопедия эпистемологии и философии науки

• РЕЛЕВАНТНАЯ ЛОГИКА —     РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии “релевантная” (термины “релевантный”, “релевантность”… …   Философская энциклопедия

• ПАРА НЕПРОТИВОРЕЧИВАЯ —     ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора возле, вне) класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места. Термин “паранепротиворечивая логика” введен в 1976 перуанским философом… …   Философская энциклопедия

• ПАРАНЕПРОТИВОРЕЧИВАЯ — логика (греч. παρά – возле, вне) – класс логических исчислений, в которых логический принцип «из противоречия следует все, что угодно», не имеет места. Термин «паранепротиворечивая логика» введен в 1976 перуанским философом Ф.Миро Квисада.… …   Философская энциклопедия

• МОДЕЛЕЙ ТЕОРИЯ —     МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… …   Философская энциклопедия

• ВОЗМОЖНЫЕ МИРЫ — мыслимые альтернативные состояния. Идея В.м. широко используется в семантическом анализе модальных понятий. Она впервые появляется в модальной теории средневекового философа Дунса Скотта, рассматривавшего возможное в качестве априорной области… …   Современная западная философия. Энциклопедический словарь

• эпистемическая логика —         ЭПИСТЕМИЧЕСКАЯ ЛОГИКА ветвь модальной логики. В широком понимании ее задачей (как и доксастической логики при таком же понимании) является анализ сложно подчиненных предложений с придаточными, вводимыми союзом «что» и глаголами главного… …   Энциклопедия эпистемологии и философии науки

• Формула Циолковского — определяет скорость, которую развивает летательный аппарат под воздействием тяги ракетного двигателя, неизменной по направлению, при отсутствии всех других сил. Эта скорость называется характеристической. , где:   конечная (после выработки… …   Википедия

• ПРОСТРАНСТВО —         культуры         важнейший аспект модели мира, характеристика протяженности, структурности, сосуществования, взаимодействия, координации элементов отд. культуры и соответствующих отношений между культурами, а также смысловой… …   Энциклопедия культурологии